141. Cmos logic circuit design
پدیدآورنده : Uyemura, John P.
کتابخانه: (سمنان)
موضوع : ، Logic circuits
رده :
TK
7868
.
U9C5
142. Cmos/ttl digital systems design
پدیدآورنده : BUCHANAN,JAMES EDGAR
کتابخانه: (طهران)
موضوع : METAL OXIDE SEMICONDUCTORS-DESIGN & , TRANSISTOR-TRANSISTOR LOGIC CIRCUITS-
رده :
TK
7871
.
99
.
M44
B832
143. Comprehensive functional verification the complete industry cycle /
پدیدآورنده : Bruce Wile, John C. Goss, Wolfgang Roesner.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer engineering.,Integrated circuits-- Verification.,Computer engineering.,COMPUTERS-- Logic Design.,Integrated circuits-- Verification.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Logic.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- VLSI & ULSI.
رده :
TK7874
.
58
.
W55
2005eb
144. Computation, logic, games, and quantum foundations :
پدیدآورنده : Bob Coecke, Luke Ong, Prakash Panangaden (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Abramsky, Samsom.,Jocs, Teoria de.,Lògica informàtica.
رده :
QA76
.
B633
2013
145. Computational Logic - CL 2000 :
پدیدآورنده : edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer architecture.,Computer science.,Software engineering.
رده :
QA76
.
9
.
L63
E358
2000
146. Computational Single-Electronics
پدیدآورنده : by Christoph Wasshuber.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer simulation.,Electronics.,Engineering.,Optical materials.,Physics.
147. Computational limitations of small-depth circuits
پدیدآورنده : Hastad, Johan
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic circuits,، Computational complexity
رده :
TK
7868
.
L6
.
H37
1987
148. Computer-Aided Design Techniques for Low Power Sequential Logic Circuits
پدیدآورنده : by José Monteiro, Srinivas Devadas.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer engineering.,Computer-aided design.,Engineering.,Systems engineering.
149. Computer Aided Verification :
پدیدآورنده : edited by Rajeev Alur, Thomas A. Henzinger.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
150. Computer-Hardware Evaluation of Mathematical Functions
پدیدآورنده : \ Amos Omondi
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer arithmetic.,Computer arithmetic and logic units.,Computer algorithms.,Integrated circuits-- Verification.,محاسبات رایانه ,مدارات مجتمع -- راستی آزمایی
رده :
QA
76
.
9
.
O4C6
2015
E-Book
,
151. Computer Organisation and Architecture :
پدیدآورنده : by B.S. Chalk, A.T. Carter, R.W. Hind.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
152. Computer-aided design of digital systems
پدیدآورنده : Lewin, douglas.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Design and construction - Data processing ، Electronic digital computers,Data processing ، Logic circuits
رده :
TK
7888
.
3
.
L37
153. Computer-aided design of digital systems
پدیدآورنده : Lewin, Douglas
کتابخانه: (طهران)
موضوع : Data processing ، Electronic digital computers -- Design and construction,Data processing ، Logic circuits
رده :
TK
7888
.
3
.
L37
154. Computer-aided design of digital systems
پدیدآورنده : Lewin, Douglas
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Computer-aided design ، Electronic digital computers,Data processing ، Logic circuits
رده :
TK
7888
.
3
.
L37
1977
155. Computer-aided intelligent recognition techniques and applications
پدیدآورنده : / edited by Muhammad Sarfraz
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Logic circuits- Computer-aided design,Pattern perception
رده :
TK7868
.
L6
,
C67
2005
156. Computer-aided intelligent recognition techniques and applications
پدیدآورنده : / by Muhammad Sarfraz
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Logic circuits- Computer aided design,Pattern perception
رده :
TK7868
.
L6S257
2005
157. Computer-aided intelligent recognition techniques and applications
پدیدآورنده : edited by Muhammad Sarfraz
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Computer-aided design ، Logic circuits,، Pattern perception
رده :
TK
7868
.
L6
C67
2005
158. Computer-aided intelligent recognition techniques and applications
پدیدآورنده : edited by Muhammad Sarfaraz
کتابخانه: (سمنان)
موضوع : ، Logic circuits- Computer-aided deign,، Pattern perception
رده :
TK
7868
.
C66
159. Computer-aided intelligent recognition techniques and applications ]CD[
پدیدآورنده : edited by Muhammad Sarfraz
موضوع : Computer-aided design ، Logic circuits,، Pattern perception
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
160. Computer-aided intelligent recognition techniques and applications
پدیدآورنده : / edited by Muhammad Sarfraz
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Logic circuits, Computer-aided design,Pattern perception
رده :
TK7868
.
L6
,
C67
2005